En
Mathématiques, on dit qu'une fonction f mesurable de
R dans
C est de
carré sommable lorsque la quantité
| S = ∫ | + ∞
- ∞
| |f (x)| 2 dx |
est un nombre fini.
Définitions précises
L'ensemble de ces fonctions, qui peuvent ne pas être définies sur un ensemble de mesure nulle, forme un
Espace vectoriel L 2 ( R), qu'on peut munir d'une forme bilinéaire semi-définie hermitienne définie par
| (f,g) = ∫ | + ∞
- ∞
| f (x) | ––
g
| (x) dx. |
La semi-norme correspondante est
| ( | ∫ |
R | |f (x)| 2 dx) 1/2 . |
Le noyau de la semi-norme est l'ensemble de fonctions négligeables, c'est-à-dire nulles presque partout.
Le quotient de L 2 ( R) par l'espace des fonctions négligeables est l'espace L 2 ( R). C'est un espace de classes de fonctions: deux fonctions sont dans la même classe si elles sont égales presque partout, c'est à dire en dehors d'un ensemble de mesure nulle. Si f est dans L 2 ( R), notons pour le moment la classe de f.
On munit l'espace L 2 ( R) d'une structure d'Espace de Hilbert à l'aide du Produit scalaire suivant
| (,) = ∫ | + ∞
- ∞
| f (x) | ––
g
| (x)dx |
La norme correspondante est
| || L 2 = | ( | ∫ |
R | |f (x)| 2 dx) 1/2 . |
Il est immédiat que ces intégrales ne dépendent pas du représentant qu'on a choisi pour la classe de f ou de g.
Simplifications en passant aux fonctions définies presque partout
Sauf mention particulière, on utilise surtout l'espace
L 2 ( R), et on se dispense de faire la différence entre fonction de carré sommable et fonction de carré sommable modulo les fonctions négligeables. Cet abus est justifié dans l'immense majorité des cas, et on peut donc simplifier les définitions comme suit: l'espace
L 2 ( R) des fonctions de carré sommable (définies presque partout) est l'ensemble des fonctions mesurables définies presque partout sur
R, telles que le carré de leur module soit intégrable sur
/R. C'est un espace de Hilbert, une fois qu'on le munit du produit scalaire
| (f,g) = ∫ | + ∞
- ∞
| f (x) | ––
g
| (x)dx. |
Quelques propriétés à connaître
Une suite de fonctions
f n définies presque partout sur
R et de carré sommable converge dans
L 2 ( R) vers une limite
f si
lim
n → ∞ | ∫ |
R | |f-f n | 2 d x = 0. |
On dit alors qu'elle converge en moyenne quadratique. La convergence en moyenne quadratique n'implique pas en général la convergence presque partout. Cependant, on peut extraire une sous-suite presque partout convergente d'une suite convergeant en moyenne quadratique. En d'autres termes, si (f n ) n ∈ N converge vers f en moyenne quadratique, on peut trouver une partie infinie K de N et un ensemble E de mesure nulle tels que
| ∀ x ∉ E, |
lim
n ∈ K, n → ∞ | f n (x) = f (x). |
Le théorème de convergence dominée de Lebesgue fournit une condition suffisante de convergence en moyenne quadratique : soit f n une suite de fonctions de carré sommable. Supposons qu'il existe une fonction h de carré sommable et un ensemble E de mesure nulle tels que
∀ x ∉ E, |f n (x)| ≤ h (x),
et que f n converge presque partout vers une limite f. Alors f est de carré sommable et la suite f n converge en moyenne quadratique vers f.
Les fonctions de carré sommable en physique
En
Physique quantique, une
Fonction d'onde associée à une particule est de carré sommable. Physiquement, en effet, le carré du module de la fonction d'onde
est une densité de probabilité de présence de la particule au point
et à l'instant
t. Par conséquent, l'intégrale de ce carré vaut 1, puisque la particule se trouve quelque part dans l'espace. En termes plus mathématiques, une fonction d'onde est de norme 1 dans l'espace des fonctions de carré sommable.